Miller's Weil Pairing Algorithm